Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
4

A bottom-up polymorphic type inference in logic programming

Рік:
1992
Мова:
english
Файл:
PDF, 2.36 MB
english, 1992
5

An Integrated Management System for Multimedia Digital Library

Рік:
2014
Мова:
english
Файл:
PDF, 1.10 MB
english, 2014
7

A transformational approach to negation in logic programming

Рік:
1990
Мова:
english
Файл:
PDF, 1.86 MB
english, 1990
17

Abstract interpretation of operational semantics for secure information flow

Рік:
2002
Мова:
english
Файл:
PDF, 106 KB
english, 2002
19

Control of Cardiac Rate by “Funny” Channels in Health and Disease

Рік:
2008
Мова:
english
Файл:
PDF, 728 KB
english, 2008
23

HIV Transmission by Fellatio

Рік:
1990
Мова:
english
Файл:
PDF, 281 KB
english, 1990
36

A structured approach to static semantics correctness

Рік:
1983
Мова:
english
Файл:
PDF, 1.65 MB
english, 1983
37

Spatial Calculus of Looping Sequences

Рік:
2009
Мова:
english
Файл:
PDF, 424 KB
english, 2009
38

Timed P Automata

Рік:
2009
Мова:
english
Файл:
PDF, 348 KB
english, 2009
39

Tumour suppression by immune system through stochastic oscillations

Рік:
2010
Мова:
english
Файл:
PDF, 422 KB
english, 2010
40

Giorgio Levi in Pisa

Рік:
2009
Мова:
english
Файл:
PDF, 160 KB
english, 2009
41

Abstract interpretation of trace semantics for concurrent calculi

Рік:
1999
Мова:
english
Файл:
PDF, 126 KB
english, 1999
42

Towards a logical semantics for pure Prolog

Рік:
1998
Мова:
english
Файл:
PDF, 1.82 MB
english, 1998
44

An ascending single-dose safety and tolerance study of an oral formulation of rabeprazole (E3810)

Рік:
1998
Мова:
english
Файл:
PDF, 129 KB
english, 1998
50

Chronic recurrent multifocal osteomyelitis: 17 case reports and literature review

Рік:
2008
Мова:
english
Файл:
PDF, 66 KB
english, 2008